(all(1,4) == any(any(1,4), any(2), any(3))) and print "y2\n";