Is defualt keyword is supportes in constraint?

[perumallatarun]

In reply to cgales:

Thank you cgales I have modified it.(input to m1)
After that is the code right?