Z6: solve 2c