85.92/86.86	unsat
