0.98/2.52	unsat
