4.67/4.74	unsat
