22.68/22.87	unsat
