simon.sat