0.95/1.60	c found falsified original clause
0.95/1.73	unsat
