From a064e3a086a063863ee04cb04acea655a177f229 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 12 Jul 2021 22:25:00 +0300
Subject: [PATCH] =?utf8?q?=D0=A0=D0=B0=D0=B7=D1=80=D0=B5=D1=88=D0=B5=D0=BD?=
 =?utf8?q?=D0=B8=D0=B5=20=D0=B2=D0=B5=D1=80=D1=81=D0=B8=D0=B9=20=D0=B0?=
 =?utf8?q?=D0=B4=D0=B0=20=D0=B7=D0=B0=D0=B2=D0=B8=D1=81=D0=B8=D0=BC=D0=BE?=
 =?utf8?q?=D1=81=D1=82=D0=B5=D0=B9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

https://research.swtch.com/version-sat
Ð¯ Ð·Ð½Ð°Ð» ÑÑÐ¾ Ð½Ð°ÑÐ¾Ð¶Ð´ÐµÐ½Ð¸Ðµ Ð²ÐµÑÑÐ¸Ð¸ Ð·Ð°Ð²Ð¸ÑÐ¸Ð¼Ð¾ÑÑÐ¸ ÑÐ´Ð¾Ð²Ð»ÐµÑÐ²Ð¾ÑÑÑÑÐµÐ¹ ÑÐ°Ð·Ð½ÑÐ¼
ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸ÑÐ¼ Ð´ÑÑÐ³Ð¸Ñ ÑÑÐ¾ Ð½ÐµÐ¿ÑÐ¾ÑÑÐ°Ñ Ð·Ð°Ð´Ð°ÑÐ°, Ð½Ð¾ Ð½Ðµ Ð¾Ð¶Ð¸Ð´Ð°Ð» ÑÑÐ¾ Ð²ÑÑ ÑÑÐ¾
Ð·Ð°ÐºÐ°Ð½ÑÐ¸Ð²Ð°ÐµÑÑÑ Ð² Ð´ÐµÑÑÑÐºÐ°Ñ ÑÐ¸ÑÑÐµÐ¼ Ð²Ð¾Ð¾Ð±ÑÐµ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸ÐµÐ¼ SAT solver-Ð¾Ð².
-- 
2.50.0