Instruct: How many total points did roman Koudelka have
Output: SELECT Overall WC points (Rank) FROM table WHERE Name = Roman Koudelka