5.09/6.82	unsat
