Better lazily-fixing algorithn is found!