25.85/26.65	c found falsified original clause
25.85/26.75	unsat
