93.56/94.08	unsat
