256.32/256.86	c found falsified original clause
268.87/272.60	unsat
