Отже, коли @grok розв'яжемо Р = НП?
425