solver_jfng unfinished