6750.sat
6750.sat