24/09、ATP Challenger Lisbon, Portugal Men Singlesでの Henrique Rocha 対 Jan Choinski のライブ結果