宇航员执行任务，有三个任务ABC。把宇航员按照平均年龄分成新老两组，老宇航员可以去AC，新宇航员可以取BC。宇航员之间有不能共存关系，问是否有合法的分配方案。
虽然有三个任务，但每个宇航员还是只有两种选择。我们把宇航员当成变量，那么老宇航员True代表选择任务A，False代表任务C，新宇航员True代表任务B，False代表任务C。这样我们依然可以分别对两老，两新，一老一新的情况设置不共存关系，然后用2-SAT解决即可。