Added credits to Hamilton-sat
Tougher example