solver input verification

Showing the single result