3 generators and 1 solver