add cuts at fractional solutions