prunning solver