information about Maximum satisfiability problem field