83.42/85.96	unsat
