BTC August 20, 85 put at .85, sold at 1.72, Just want to reduce risk and free up margin.