1.24/1.56	c found falsified original clause
1.24/1.94	unsat
