(8+4sqrt(2)-4sqrt(7)) with (4sqrt(2)+1)