1.03/1.13	c found falsified original clause
1.12/1.15	unsat
