81.48/83.86	unsat
