85.16/86.99	unsat
