. . "> > definition here would be: S is a solution of OPT(A, B, C) if S is a" . .