Covering a cubic graph by 5 perfect matchings - Wuyang Sun (2016)