29/07 ATP Challenger Porto, Portugal Men Singles 토너먼트에서 Henrique Rocha vs Henry Searle의 실시간 결과