223.08/226.07	unsat
