verified solver