
        fixed is_satisfied condition

d8c1dc6