abstracted combinatorial_test method out of solveable? method to test directly, changed tests accordingly