Chiaki has $n$ strings $s_1,s_2,\dots,s_n$ consisting of '(' and ')'. A string of this type is said to be balanced:
+ if it is the empty string
+ if $A$ and $B$ are balanced, $AB$ is balanced,
+ if $A$ is balanced, $(A)$ is balanced.
Chiaki can reorder the strings and then concatenate them get a new string $t$. Let $f(t)$ be the length of the longest balanced subsequence (not necessary continuous) of $t$. Chiaki would like to know the maximum value of $f(t)$ for all possible $t$.