22.56/22.68	unsat
