added isSolvable() test
updated isSolvable() tests