a+b+c= 13