def conditionWeights(lits, weights):
    """Modifies the weight of positive literal as per condition given by list lits"""
    for lit in lits:
        weights[int(lit)] = 1
        weights[-1 * int(lit)] = 0
