fluxx.sat