fixed solvability check for real