On nonintegral vertices of 3-SAT problem relaxation polytope - A. V. Nikolaev (Yaroslavl State University, 2010)