1.09/1.91	c found falsified original clause
1.09/2.15	unsat
