226.35/226.62	unsat
