24.39/24.82	unsat
