in the end benfica won the title through a penalty shootout