Change is_feasible with satisfy