4381.sat