aga.sat