4.27/4.34	c found falsified original clause
4.57/4.65	unsat
