22.70/22.83	unsat
