Randomization Constraints

A UVM sequence item defines two random unsigned variables: rand bit [3:0] a; and rand bit [3:0] b;. The constraint is constraint c1 { a > b; solve a before b; }. What is the mathematical probability that the variable a resolves to the decimal value 15 (4'b1111) upon randomization?