Gravar-mail: On nonintegral vertices of 3-SAT problem relaxation polytope