20 + 12 + 15 + 16 = ?