
More options: Known condition may contain given coefficients.

