fourier.sat