solverSpecificState