m:-X is random(3),nth0(X,[24,3,'5 8 58'],Y),write(Y).