2.98/3.08	unsat
