5.08/6.61	unsat
