principled chvatal objective closes #56