В определении [math]SAT[/math] должно быть явно написано, что [math]\phi[/math] он [math]n[/math] переменных!
