Cantitruncated 7-demicube