22.61/22.83	unsat
