226.87/227.73	unsat
