25.73/25.83	unsat
