22.76/25.27	unsat
