22.74/22.84	unsat
