85.42/88.57	unsat
