solve {2*a*b*c=(a-1)*b*c+a*(b-1)*c+a*b*(c-1),1<=a,a<=b,b<=c,n=a*b*c} over the integers