Better constraint sampling