Constraint

In a SystemVerilog UVM environment, a 4-bit random variable x is constrained such that exactly two of its bits must be set to 1. If the pseudo-random number generator perfectly distributes the probability across all valid solutions, what is the mathematical probability that x will randomize to the value 4'b0110?