updated exception for solvability check, added tests