alg.sats