3 + 5 + 17 + 20 = ?