5.08/6.78	unsat
