Add a real test for minisat