22.42/22.57	unsat
