5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C996361671766D996362383638C1120565186730D1120565196868
S8812
1
/x /y (Cube(x) & Tet(y) & ~SameCol(x, y)) $ 
~/x /y (Cube(x) & Tet(y) & SameCol(x, y))