stateinstance-diag solve3