plot{y>max(-7,-x cot(pi/12)-7/(sqrt2 sin(pi/12)),x tan(pi/12)-7/(sqrt2 cos(pi/12))) and y<min(7,x tan(pi/12)+7/(sqrt2 cos(pi/12)),-x cot(pi/12)+7/(sqrt2 sin(pi/12)))},{x,-3.5sqrt3, 3.5 sqrt3.}