1.38/7.01	c found falsified original clause
1.38/7.44	unsat
