81.36/84.42	unsat
