20 + 19 + 15 + 17 = ?