Z6: solve 1a