Keputusan langsung Pedro Martinez menentang David Jorda Sanchis pada 18/07 dalam kejohanan ATP Estoril, Portugal Men Singles