3.48/3.58	c found falsified original clause
3.58/3.65	unsat
