94.79/97.08	unsat
