Instruct: Who won the mixed doubles in 1957 when judy devlin won the women's singles?
Output: SELECT Mixed doubles FROM table WHERE Women's singles = judy devlin AND Year = 1957