m:-X is random(3),nth0(X,[24,25,32],Y),format("/~d",Y).