figured out how to catch new class of examples in solveable? method, added new test cases
added test for new column counterexamples
discovered new test case, solveable? method needs to be updated