solvability implementation started