simp.sats