.
.
removed traces since solver seems to work now