5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C1120508646840D1120508916584C1120563760959D1120563773640
S10039
10
 ~Cube(a) ~SameShape(a,b )~RightOf(b, c) ~ ~Tet(b)c # d ~(d # b) ~SameCol(a, e) ~ ~SameCol(c, e) ~LeftOf(a, c) ~ ~SameShape(c, d)