5.08/7.59	unsat
