5.08/9.52	unsat
