81.03/82.27	unsat
