rolled back sdp tests. fixed mixed_integer