5.08/6.74	unsat
