def extract(line):
    """
    >>> extract('Comet can fly 14 km/s for 10 seconds, but then must rest for 127 seconds.')
    ('Comet', 14, 10, 127)
    """
    token = line.split()
    return token[0], int(token[3]), int(token[6]), int(token[13])