debug at solver_jfng