19.35/22.83	unsat
