bugfix in LPO: negating solution to get another one wouldnt work