25.72/26.09	unsat
