added note about solvability