A equação 2?3 cos(x) + 2 sen(x) = 2, com 0 ? x ? 2? possui duas soluções K1 e K2, com K1 > K2

Então, o valor de K1 ? K2 é igual a