5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C996362388208D996362493164C1120565240479D1120565248590
S9190
1
/x (Cube(x) & ~@y (Tet(y) $ Larger(y, x))) $ 
/x (Cube(x) & @y (Tet(y) $ ~Larger(y, x)))