Partitioning into Three#392