223.46/223.82	unsat
