first check in. isSolvable not working