package main import ( "bufio" "fmt" "math" "os" "strconv" ) func configure(scanner *bufio.Scanner) { scanner.Split(bufio.ScanWords) scanner.Buffer(make([]byte, 1000005), 1000005) } func getNextString(scanner *bufio.Scanner) string { scanned := scanner.Scan() if !scanned { panic("scan failed") } return scanner.Text() } func getNextInt(scanner *bufio.Scanner) int { i, _ := strconv.Atoi(getNextString(scanner)) return i } func getNextInt64(scanner *bufio.Scanner) int64 { i, _ := strconv.ParseInt(getNextString(scanner), 10, 64) return i } func getNextFloat64(scanner *bufio.Scanner) float64 { i, _ := strconv.ParseFloat(getNextString(scanner), 64) return i } func main() { fp := os.Stdin wfp := os.Stdout extra := 0 if os.Getenv("I") == "IronMan" { fp, _ = os.Open(os.Getenv("END_GAME")) extra = 100 } scanner := bufio.NewScanner(fp) configure(scanner) writer := bufio.NewWriter(wfp) defer func() { r := recover() if r != nil { fmt.Fprintln(writer, r) } writer.Flush() }() solve(scanner, writer) for i := 0; i < extra; i++ { fmt.Fprintln(writer, "-----------------------------------") solve(scanner, writer) } } func solve(scanner *bufio.Scanner, writer *bufio.Writer) { n := getNextInt(scanner) x := getNextInt(scanner) aa := make([]int, n) bb := make([]int, n) var sum int for i := 0; i < n; i++ { aa[i] = getNextInt(scanner) sum += aa[i] } for i := 0; i < n; i++ { bb[i] = getNextInt(scanner) } if sum >= n*x { fmt.Fprintln(writer, 0) return } mx := 50005 dp := make([]int, mx) for i := 1; i < mx; i++ { dp[i] = math.MaxInt32 } for i := 0; i < n; i++ { for j := mx - 1; j >= 0; j-- { a := aa[i] if j-a >= 0 { dp[j] = min(dp[j-a]+bb[i], dp[j]) } } } var ans int ans = math.MaxInt32 for i := n*x - sum; i < n+1; i++ { ans = min(ans, dp[i]) } if ans == math.MaxInt32 { fmt.Fprintln(writer, -1) return } fmt.Fprintln(writer, ans) } func min(a, b int) int { if a < b { return a } return b }