20 + 12 + 7 + 13 = ?