add solvable test