10 + 7 + 12 + 20 = ?