SAT constants problems

visit shbcf.ru