it's not buggy. But it doesn't work as I expected. :)). Need to find the way of using SDP programming approximation for coloring with assigned color