0.00/8.16	c found falsified original clause
0.00/10.15	unsat
