fixes to isSolvable()