223.76/226.76	unsat
