Add rudimentary solvability testing