226.84/228.72	unsat
