subsolutions