85.27/87.27	unsat
