fleck.sat