Z4: solve 1