5.08/6.71	unsat
