1.20/2.11	c found falsified original clause
1.20/2.36	unsat
