22.46/22.52	unsat
