Z5: solve 1a