226.15/227.66	unsat
