1.03/1.05	c found falsified original clause
1.09/1.10	unsat
