Will WTI Crude Oil (WTI) hit (HIGH) $85 in July?

This market has closed. The figures below are the last recorded crowd odds before it resolved.