A solver for a 3D, tetris-like puzzle based on a reduction to SAT.