24.75/24.87	unsat
