solver to rb conn
a state