added solver verification