pcone b1 8 4 8
pcone b2 4 2 4
ttranslate b2 0 0 8

bop b1 b2
boptuc result

checkprops result -s 147.13