STRACE_TILING
# define STRACE_TILING(x...) debug_printf("SAT Tiling: "x)
# define STRACE_TILING(x...) ;