Harden probcut precondition, and reduction = 3.5 plies