p5_ubvq11aig_so1