4.84/6.74	unsat
