working with chvatal problem