93.49/94.78	unsat
