22.35/24.76	unsat
