a3.sat