Fixed bug in mat_solvable