information about 2-satisfiability field