22.73/22.87	unsat
