66.31/66.66	c found falsified original clause
77.10/77.22	unsat
