If a perfectly competitive market with no government intervention is allocatively efficient, which of the following must be true?

Consumer surplus plus producer surplus is at its maximum.

Consumer surplus is larger than producer surplus.

Producer surplus is larger than consumer surplus.

All surplus is producer surplus.

All surplus is consumer surplus.