Version 2 a+b+c=K