113.64/114.33	c found falsified original clause
113.64/116.88	unsat
