Lucas.sats