25.73/26.75	unsat
