94.08/96.08	unsat
