Si $a, b, c \ge 4$ son enteros, no todos iguales, y $4abc = (a+3)(b+3)(c+3)$, ¿cuál es el valor de $a+b+c$?