solve_ndisj.ref 0 Bytes