4.67/6.09	unsat
