modulo solvable