If you have Telegram, you can view and join
проблема выполнимости булевых формул right away.