25.73/25.93	unsat
