Thats it. I have submitted my contribution. I don't stand a chance agains Merri's solver , but I'll be happy as long as I don't loose.

The most important thing is to participate, not to win... I guess