2.08/2.52	unsat
