added solvability