226.63/231.01	unsat
