Lattice reduction
 
x
OK