223.48/227.35	unsat
