18777.sat