axis 0: 2 of 3 half-integer pieces violate (3)
axis 1: 2 of 3 half-integer pieces violate (3)
axis 2: 2 of 3 half-integer pieces violate (3)
first witness (axis, alpha, side[0=lower,1=upper], u, w, d_footprint, d_piece): (2, 0.5, 0, (3, 3, 0), (2, 3, 0), 3, 1)
