Spatial clustering of multivariate data usingweighted MAX-SAT