22.83/26.27	unsat
