24.73/24.85	unsat
