Add test for issue #59
Change regexp so it does not match unsat
Merge pull request #87 from edmcman/issue59

Add test for issue #59