3 + 13 + 17 + 20 = ?