isSolvable