1.07/1.16	c found falsified original clause
1.15/1.24	unsat
