2sat:main deleted