10.4.2 Babai算法