try with JaCoP solver
random domain selections. yes!