1.19/1.89	c found falsified original clause
1.19/2.11	unsat
