OPEC output in July 25.2 bpd