10.57/14.04	c found falsified original clause
10.57/14.43	unsat
