Отправить по sms: The complexity of counting locally maximal satisfying assignments of Boolean CSPs