First version of isSolvable()
1