34.42/34.51	c found falsified original clause
35.25/38.22	unsat
