0.00/4.04	c found falsified original clause
0.00/4.17	unsat
