ingredient : pork tenderloins (¾ pound or 340 g each), trimmed