a+b+c=13