1.69/1.72	c found falsified original clause
2.19/2.28	unsat
