226.28/228.02	unsat
