85.83/86.15	unsat
