adding constraints to spogro, but it's failing to find good solution (and failing to break when bad)