try to solve unsat_flow problem