tackle realizability issue

2 jobs for !22 with MN_solver in 38 minutes and 59 seconds (queued for 3 seconds)
merge request