19.46/22.83	unsat
