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, (1, 0, 0), (3, 0, 0), 4, 2)
