a4.sat