smaller solutions