//
// how many solutions are there for the equation x + y + z = 11
// where x, y and z are positive integers?
//
import java.io.*;
import java.util.*;
import org.chocosolver.solver.Model;
import org.chocosolver.solver.Solver;
import org.chocosolver.solver.variables.IntVar;
import org.chocosolver.solver.constraints.IIntConstraintFactory.*;

public class XYZ11 {

    public static void main(String args[]){
	Model model   = new Model("x+y+z=11");
	Solver solver = model.getSolver();
	IntVar x      = model.intVar("x",0,11);
	IntVar y      = model.intVar("y",0,11);
	IntVar z      = model.intVar("z",0,11);

	//model.arithm(x,"+",y,"=",z).post();

        model.sum(new IntVar[]{x,y,z},"=",11).post();

	while(solver.solve()) System.out.println(x +" "+ y +" "+ z);

	System.out.println(solver.getMeasures());
    }
}