Added single sum constraint. Ready for benchmarks