NAQ 2016&2017 hard problems (UBC)