solver input verification