Constraint solver failure

SystemVerilog
4

In reply to ABD_91:

I agree, but I have mentioned x > (1+a), that should avoid the negative number, correct me if I am wrong.