1.39/1.57	c found falsified original clause
1.39/1.65	unsat
