84.54/86.42	unsat
