24.35/25.76	unsat
