0.98/3.05	unsat
