94.18/97.20	unsat
