93.22/94.73	unsat
