Use builtin sum function is satisfy_count