22.36/22.50	unsat
