1.32/1.40	c found falsified original clause
1.32/1.83	unsat
