fukuhedrons.sats