6.99/7.03	c found falsified original clause
7.29/7.37	unsat
