21.93/22.27	unsat
