independent check passed: two distinct positive exact steady states in one stoichiometric class; x1 != x3: True
