今12700 3080だとBTOいくらくらい?