25.73/26.10	unsat
