Choose the correct option.
If he ..... \(come\) to the party, he would have had a great time.

• has come
• came
• comes
• had come