26.03/26.27	unsat
