Which pseudocode is equivalent to the flowchart?

Stock Units is the number of items currently available. It is a whole number that can be zero. The flowchart in Figure 1 produces one message. At the diamond, follow the arrow labeled with the answer to its Yes/No question. The symbol <= means “less than or equal to”. Input reads the supplied number, and Output reports the message.

graph TD
  accTitle: Produce a replenishment message from current stock
  accDescr: Start, input Stock Units, test whether Stock Units is at most five, output Reorder on the Yes branch or Stock sufficient on the No branch, and then end.
  Start(("Start")) --> Input[/"Input Stock Units"/]
  Input --> Decision{"Is Stock Units <= 5?"}
  Decision -- "Yes" --> Reorder[/"Output 'Reorder'"/]
  Decision -- "No" --> Sufficient[/"Output 'Stock sufficient'"/]
  Reorder --> End(("End"))
  Sufficient --> End
Figure 1: Flowchart for producing a replenishment message from the current stock.

Which pseudocode produces the same single message as the flowchart for every permitted input? An equivalent algorithm may phrase the decision differently.

  1. Input: Stock Units
    Output: Replenishment Message
    Start
       If Stock Units >= 5
          Output "Reorder"
       Else
          Output "Stock sufficient"
       End If
    End
  2. Input: Stock Units
    Output: Replenishment Message
    Start
       If Stock Units > 5
          Output "Stock sufficient"
       Else
          Output "Reorder"
       End If
    End
  3. Input: Stock Units
    Output: Replenishment Message
    Start
       If Stock Units <= 5
          Output "Stock sufficient"
       Else
          Output "Reorder"
       End If
    End
  4. Input: Stock Units
    Output: Replenishment Message
    Start
       If Stock Units < 5
          Output "Reorder"
       Else
          Output "Stock sufficient"
       End If
    End