1.49/1.59	c found falsified original clause
1.49/1.77	unsat
