1.38/2.66	c found falsified original clause
1.38/2.87	unsat
