10333.sat