1.35/1.81	c found falsified original clause
1.35/1.86	unsat
