5.08/5.72	unsat
