81.98/82.27	unsat
