95.55/97.84	unsat
