87.09/87.27	unsat
