check for feasibility in setwarmstart!