4.87/4.92	c found falsified original clause
4.87/4.99	unsat
