Add size constraints for solutions