Dominic bought 4 pencils and 3 highlighters for $9.80. Zoe bought 3 pencils
and 5 highlighters for $10.65. If Micha buys 2 pencils and 2 highlighters,
how much will it cost?