24.66/24.70	unsat
