define macros size (int(sol.size()))