a+b+c \ge 6