24.73/24.93	unsat
