p1011 solving