Abstract. It is shown that every measurable partition {A1, . . . , A k } of R 3 satisfiesLet {P1, P2, P3} be the partition of R 2 into 120• sectors centered at the origin. The bound (1) is sharp, with equality holding if Ai = Pi × R for i ∈ {1, 2, 3} and Ai = ∅ for i ∈ {4, . . . , k}. This settles positively the 3-dimensional Propeller Conjecture of Khot and Naor (FOCS 2008). The proof of (1) reduces the problem to a finite set of numerical inequalities which are then verified with full rigor in a computer-assisted fashion. The main consequence (and motivation) of (1) is complexity-theoretic: the Unique Games hardness threshold of the Kernel Clustering problem with 4 × 4 centered and spherical hypothesis matrix equals . Figure 1. The partition of R 3 that maximizes the sum of squared lengths of Gaussian moments is a "propeller": three planar 120 • sectors multiplied by an orthogonal line, with the rest of the partition elements being empty.