5.08/6.77	unsat
