integer variables work; binary ones don't seem to
integers and binary work
everything but sdp tests work