5.08/7.72	unsat
