80.96/84.27	unsat
