3-битная PCP-теорема, приближение задач MAX3XORSAT и MAX3SAT. Формулировка теоремы Раза. Длинные коды. Тест на длинный код.