I think it is indeed optimal. Proof:
If two pairs use the same letter, that's at least 7 of that letter, 5 of the letter for the remaining pair, then all 3 words need 2 more letters, for 18.
If all three pairs use different letters, that's 5*3, and then each word needs 1 more letter, for a total of 18 again.