86.81/86.97	unsat
