Hardness for the "bijective" unsatisfiable PHPs.