subsolution