def METHOD_NAME(lines):
    """Parses a Daimler proprietary format.
    Args:
        lines: iterator of lines
    Returns:
        clauses - a list of Clauses of CNF problem
        num_vars - amount of variables in a CNF problem
    """
    clauses = []
    if not next(lines).strip() == 'Minimize':
        raise ValueError('Wrong file format')
    if not next(lines).strip() == '0':
        raise ValueError('Wrong file format')
    if not next(lines).strip() == 'Subject To':
        raise ValueError('Wrong file format')
    while True:
        line = next(lines).strip()
        if line == 'Bounds':
            break
        p = _parse_clause(line)
        clauses.append(Clause(p))
    if not next(lines).strip() == 'Binaries':
        raise ValueError('Wrong file format')
    num_vars = len(next(lines).strip().split())
    max_ind = max([max([abs(ind) for ind in c]) for c in clauses])
    if not num_vars >= max_ind:
        raise ValueError('Wrong file format')
    if not next(lines).strip() == 'End':
        raise ValueError('Wrong file format')
    return clauses, num_vars