3.67/4.25	unsat
