87.05/87.98	unsat
