7.02/9.00	unsat
