Generate a correctly punctuated version of the following text: 3 12 lbs pork shoulder or 3 12 lbs pork butt trimmed of fat and cut up
3 1/2 lbs pork shoulder or 3 1/2 lbs pork butt, trimmed of fat and cut up