2*a=2*10-K; K-3*10*sin(30°)=3*a