0.95/1.04	c found falsified original clause
0.95/1.06	unsat
