22.13/22.87	unsat
