produce.sat