18/07 ATP Estoril, Portugal Men Singles 토너먼트에서 Pedro Martinez vs David Jorda Sanchis의 실시간 결과