archimedes.sats