3.4.3 ȡ��SAT��������棨3.4.3.1��3.4.3.6�����m�ã���ȡ��SAT��
3.4.3.1 ����Ҫ��ӟ�t����A��D��b��������ÿ��(g��)���ƅ^(q��)�Ѓɂ�(g��)ӛ�ؓ(f��)�d��������һ��(g��)�O(ji��n)�أ�һ��(g��)���ơ���(du��)��A��B��b�ã�����һ��(g��)���ӵ�ؓ(f��)�d�������������^��ؓ(f��)�d�������x��(sh��)�Č�(du��)�������O(sh��)���c(di��n)���ք�(d��ng)�{(di��o)��(ji��)�����ṩ�ܽ��ܵĿ��ơ��@��(g��)����ؓ(f��)�d���������ڱ��������Ҫ�c�t�ӿ�������Ȼ�B�ӡ�
3.4.3.2 ���ڿ��Ƶ�ؓ(f��)�d��������(y��ng)����3.1.7.2���O(ji��n)��ؓ(f��)�d��������(y��ng)����3.1.8��
3.4.3.3 ʹ���е��F����ؓ(f��)�d�ż��(y��ng)�Ƿ�һ���Եģ���ÿ���ȑ�(y��ng)��Q������У�(y��n)��
3.4.3.4 ����ʹ�õ��v���ٿ��ƺ�ӛ��ż��(y��ng)ÿ����Q��
3.4.3.5 ����ʹ�õ��F���ٿ��ƺ�ӛ��ż��(y��ng)ÿ2����Q��
3.4.3.6 ؓ(f��)�d������������ÿ�ܵ��^���ӛ��аl(f��)�F(xi��n)���F(xi��n)�˲���ԭ����c�������ơ��O(ji��n)�غ�ӛ䛂��������x��(sh��)�в���͑�(y��ng)���κΕr(sh��)�g��Q������У�(y��n)��ÿ�ܵ��x��(sh��)Ҳ����@ʾ����ÿ��(g��)���ƅ^(q��)�Ŀ��Ƃ�������һ��(g��)���ӵıO(ji��n)�؂�����֮�g�IJ�e�������c����ĜضȾ����ԙz�y(c��)�r(sh��)�����IJ�e��2�H��1�棩֮��(n��i)��
3.4.4 �ӟ�t����ϵ�y(t��ng)���Ȝy(c��)ԇ����
3.4.4.1 ���κβ����ضȣ����y(c��)ԇ�Ă������Ǽm���ض��@ʾ��/��ӛ䛣���(y��ng)�cУ���Ĝy(c��)ԇ�x�ϵĂ������Ĝض������^��